Thực đơn
Bổ đề Zorn Phát biểu của bổ đề ZornGiả sử một tập hợp sắp thứ tự bộ phận X khác rỗng nào đó có tính chất sau đây: "mọi tập con sắp thứ tự toàn phần của X đều có ít nhất một chặn trên thuộc X". Thế thì tập X có ít nhất một phần tử tối đại.
Thực đơn
Bổ đề Zorn Phát biểu của bổ đề ZornLiên quan
Tài liệu tham khảo
WikiPedia: Bổ đề Zorn http://www.apronus.com/provenmath/choice.htm //dx.doi.org/10.1016%2F0315-0860(78)90136-2 http://us.metamath.org/mpegif/zorn.html http://us.metamath.org/mpeuni/zorn.html